@charset "utf-8";

body
{
	font-family: "Lucida Grande", Calibri, Arial, sans-serif;
	font-size: 16px;
	background-color: white;
	margin: 0;
	padding: 0;
}

a
{
	color: #333;
	text-decoration: none;
}

a:hover
{
	text-decoration: underline;
}

h1,h2,h3
{
	font-family: "Lucida Grande", Calibri, Arial, sans-serif;
	margin: 0;
	padding:0;
}

h1 {font-size: 1.8em;}
h2 {font-size: 1.4em;}
h3 {font-size: 1.2em;}

pre
{
	font-size: .8em;
	font-family: Consolas, "Courier New", sans-serif;
	background-color: #ddd;
	padding: 10px;
}

input, button
{
	font-family: "Lucida Grande", Calibri, Arial, sans-serif;
}

dl.properties dt
{
	font-weight: bold;
}

dd, dt
{
	margin-left: 0;
}

dt
{
	margin-top: 10px;
}

dd.hide, dt.hide
{
	display: none;
}
